The Vienna Development Method: The Meta-Language
ثبت نشده
چکیده
If you really want to be smarter, reading can be one of the lots ways to evoke and realize. Many people who like reading will have more knowledge and experiences. Reading can be a way to gain information from economics, politics, science, fiction, literature, religion, and many others. As one of the part of book categories, the vienna development method the meta language always becomes the most wanted book. Many people are absolutely searching for this book. It means that many love to read this kind of book.
منابع مشابه
Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several application domains. This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.
متن کاملThe Transition from VDL to VDM
This paper describes (one person's view of) how the Vienna Development Method grew out of the earlier work on the Vienna De nition Language. Both of these activities were undertaken at the IBM Laboratory Vienna during the 1960s and 70s.
متن کاملScientific Decisions which Characterize VDM
The formal description and development method known as VDM has been used extensively, its specification language is now an ISO standard, and it has influenced other specification languages. The origins of VDM are normally placed in language description or semantics but it is probably best known in the wider arena of formal methods for (general) program specification and design. This paper sets ...
متن کاملSolving Fuzzy Partial Differential Equation by Differential Transformation Method
Normal 0 false false false ...
متن کاملAn Approach for Syntax Tree Construction using Formal Specification Language
A Compiler is a language translator which translates high level language to low level language, this is the task of a compiler. Removing the bugs of source program does not assure that the generated target code is completely error free because there may be bugs in compiler also. So it is more important to verify the Compiler itself. Lexical analyzer is a first phase and main part of compiler us...
متن کامل